Inhalt des Dokuments

Bachelor

Semantics and Proof Calculus for Communicating Unstructured Code

Freitag, 09. Januar 2015

Erstgutachter/in: Prof. Dr. rer. nat. Glesner
Zweitgutachter/in: Prof. Dr.-Ing. Nestmann

Grochau Azzi, Guilherme

---